<?php
	echo "hao";
